systems of linear inequalities